COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input memo.tex[let,jmc]
C00003 00003	\section{Introduction}
C00004 00004	\smallskip\centerline{Copyright \copyright\ \number\year\ by John McCarthy}
C00005 00005	thomas[e87,jmc]		Position paper for Journal of Philosophical Logic
C00006 ENDMK
C⊗;
\input memo.tex[let,jmc]
\title{The Logic Approach to AI}

\noindent Abstract: The most straightforward approach to AI
is to express what the system needs to know in a first order
language and have it programmed to deduce what it should do
to achieve its goals.  Although the approach has had to be
modified to include non-monotonic reasoning, it still looks
promising --- even after 30 years.
\vfill\eject
\section{Introduction}

	The use of logic in artificial intelligence is controversial
in a variety of ways.  Sometimes it's simple ignorance.

	One moderately prominent AI researcher said, ``Why do you
have this prejudice in favor of this language invented by Russell?''

	Sometimes it's some kind of existential despair.
\smallskip\centerline{Copyright \copyright\ \number\year\ by John McCarthy}
\smallskip\noindent{This draft of \jobname\ TEXed on \jmcdate\ at \theTime}
\vfill\eject\end
thomas[e87,jmc]		Position paper for Journal of Philosophical Logic
special issue on AI and Philosophical Logic, due dec. 1
msg.msg[1,jmc]/165p
e87.in[let,jmc]/165p
THOMASON@C.CS.CMU.EDU

It is evident that Leibniz, Boole and Frege all hoped to include
common sense knowledge in the domain formalizable by mathematical
logic.  However, this has proved very difficult, and the difficulties
have not been precisely diagnosed.

Wittgenstein